edge-labeled graph